Skip to main content
This forum is closed to new posts and responses. Individual names altered for privacy purposes. The information contained in this website is provided for informational purposes only and should not be construed as a forum for customer support requests. Any customer support requests should be directed to the official HCL customer support channels below:

HCL Software Customer Support Portal for U.S. Federal Government clients
HCL Software Customer Support Portal

HCL Notes/Domino 8.5 Forum (includes Notes Traveler)

HCL Notes/Domino 8.5 Forum (includes Notes Traveler)

Previous Next

@GetHTTPHeader("User-Agent")

In IE 9: @GetHTTPHeader("User-Agent") = "Mozilla/5.0 (compatible; MSIE 9.0; Windows NT 6.1; Trident/5.0)"
In IE 10: ???
In IE 11: @GetHTTPHeader("User-Agent") = "Mozilla/5.0 (Windows NT 6.1; Trident/7.0; rv:11.0) like Gecko"

I think using @GetHTTPHeader("User-Agent") is probably the best way, at the moment, to see if a browser is running IE 11.
I don't have IE 10 installed anywhere, so I'm not sure what it returns. If anyone has IE 10 installed, I'd love to heard what @GetHTTPHeader("User-Agent") returns.

If using Chrome, Firefox or Safari, the hide formula would be: @BrowserInfo("BrowserType") = "Netscape"
If using an IE version prior to IE 11, the hide formula would be @BrowserInfo("BrowserType") != "Netscape"
If using IE 11 or later, the hide formula would be: @BrowserInfo("BrowserType") = "Netscape" & @Contains(@GetHTTPHeader("User-Agent"); "Trident")

I know using the user agent is discouraged when identifying a browser, but that is the best solution I could find for this problem.


Feedback response number WEBB9F5S7P created by ~Hank Preponeverader on 01/07/2014

IE 11 and @BrowserInfo("BrowserType... (~Hank Preponeve... 7.Jan.14)
. . That because (~Sean Eljumigon... 7.Jan.14)
. . . . @RegQueryValue (~Hank Preponeve... 7.Jan.14)
. . . . . . @GetHTTPHeader("User-Agent") (~Hank Preponeve... 7.Jan.14)
. . . . . . Ah (~Sean Eljumigon... 7.Jan.14)




Printer-friendly

Search this forum

Member Tools


RSS Feeds

 RSS feedsRSS
All forum posts RSS
All main topics RSS